go/types.unifier.unify (method)

4 uses

	go/types (current package)
		infer.go#L180: 				if !u.unify(par.typ, arg.typ, assign) {
		infer.go#L262: 					if !u.unify(tx, core.typ, 0) {
		infer.go#L305: 				if !check.hasAllMethods(tx, constraint, true, func(x, y Type) bool { return u.unify(x, y, exact) }, &cause) {
		unify.go#L143: func (u *unifier) unify(x, y Type, mode unifyMode) bool {